MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:28:50 GMT
Content-Type: text/html
Content-Length: 5401
Last-Modified: Monday, 16-Sep-96 23:11:36 GMT

<html>
<head>
<TITLE> Lorenzo Alvisi's Publications </TITLE>
</head>

<body>
<BODY BGCOLOR="#527299" TEXT="#ffffff" LINK="1ee3e5"
VLINK="#ffff6a" ALINK="e5924c" background ="#000000">
<!BODY BACKGROUND="grayroc3.gif">
<H1> Publications </H1> <p>
<H2> Journals </H2> <p>
<menu>
<LI>
<STRONG><A
HREF="ftp://ftp.cs.utexas.edu/pub/lorenzo/paralex/design.ps">
Parallel Computing in Networks of Workstations with
Paralex.</STRONG></A>(with R. Davoli, L.A. Giachini, O. Babaoglu and
S. Amoroso)<EM> IEEE Transactions on Parallel and Distributed Systems
</EM>. 7:4, April 1996, pp 371-384 (Available as Technical Report UBLCS-92-4, 
<A
HREF="http://www.cs.unibo.it">Laboratory for Computer Science,
University of Bologna</A>). 


<LI> <STRONG> On the Two Mask Hidden-Line Algorithm.</STRONG>  (with G. Casciola) 
<EM> Computers & Graphics</EM>, vol. 13, no.2 (1989), pp. 193-206.

<LI> <STRONG> A Rule Based Approach for Pattern Recognition in Planar Geometric
Figures. </STRONG>(with R. Odorico) <EM> Computer Physics Communication</EM>, 51
(1988), pp. 443-450.

<LI><STRONG> TAM rivisitato: un metodo rapido ed esatto per la rappresentazione
prospettica di superfici. </STRONG>(with G. Casciola)<EM> PIXEL</EM>, October
1988 (In Italian).

</menu>
<H2> Conferences </H2> <p>
<menu>
<LI><STRONG> <A
HREF="ftp://ftp.cs.utexas.edu/pub/lorenzo/podc.ps">
Trade-Offs in Implementing Causal Message Logging Protocols.</STRONG></A>
(with K. Marzullo) <EM> Proceedings  of the 15th ACM
Annual Symposium on the Priciples of Distributed Computing. </EM>
Philadelphia, May 1996, pp.58-67.

<LI> <STRONG> Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures. </STRONG>(with K. Marzullo) 
<EM> Brief Announcements, Proceedings  of the 14th ACM Annual Symposium on
the Priciples of Distributed Computing. </EM>  Ottawa, Canada, August 1995,
pp. 263.

<LI> <STRONG><A
HREF="ftp://ftp.cs.utexas.edu/pub/lorenzo/icdcs.ps">
Message Logging: Pessimistic, Optimistic, and Causal. </STRONG></A> (with K. Marzullo) <EM> Proceedings of the 15th
IEEE International Conference on Distributed Computing Systems.</EM>
Vancouver, Canada, June 1995, pp. 229-236.

<LI> <STRONG><A
HREF="ftp://ftp.cs.utexas.edu/pub/lorenzo/ftcs2.ps">
Nonblocking and Orphan-Free Message Logging
Protocols. </STRONG></A> (with B. Hoppe and K. Marzullo) <EM> Proceedings
of the 23rd Fault Tolerant Computing Symposium </EM>, Toulouse,
France, June 1993 pp. 145-154.

<LI> <STRONG> Paralex: An Environment for Parallel Programming in Distributed  
Systems.</STRONG> (with O. Babaoglu, S.  Amoroso, R. Davoli and 
L. A. Giachini).  <EM> Proceedings of the 6th ACM International Conference
on Supercomputing</EM>, Washington, D.C., July 1992, 178--187.

<LI> <STRONG><A
HREF="ftp://ftp.cs.utexas.edu/pub/lorenzo/paralex/scientific-computing.ps">
 Parallel Scientific Computing in Distributed Systems:
The Paralex Approach.</STRONG></A> Invited paper. (with \item A. Amoroso,
A. Baronio, O. Babaoglu, R. Davoli and L. A. Giachini).  <EM>
Proceedings of Sixth International Symposium on Computer and
Information Sciences</EM>, Side, Antalya, Turkey, October 1991,
1093--1103. (Available as Technical Report UBLCS-92-2, 
<A
HREF="http://www.cs.unibo.it">Laboratory for Computer Science,
University of Bologna</A>). 



<LI> <STRONG><A
HREF="ftp://ftp.cs.utexas.edu/pub/lorenzo/paralex/mapping.ps">
Mapping Parallel Computations onto Distributed Systems
in Paralex. </STRONG></A> Invited paper. (with O. Babaoglu, A. Amoroso
and R. Davoli).  <EM> Proceedings of IEEE CompEuro '91 </EM>, Bologna,
Italy, May 1991, 123--130. (Available as Technical Report UBLCS-92-1, 
<A
HREF="http://www.cs.unibo.it">Laboratory for Computer Science,
University of Bologna</A>). 

</MENU>

<H2> Workshops </H2> <p>
<menu>

<LI><STRONG><A
HREF="ftp://ftp.cs.utexas.edu/pub/lorenzo/readlog.ps">
Deriving optimal checkpoint protocols for distributed
shared memory architectures.</STRONG></A> (with K. Marzullo) <EM> Selected Papers, International Workshop in Theory and Practice in Distributed Systems
</EM>, K. Birman, F. Mattern and A. Schiper editors, Springer-Verlag
1995, pp. 111-120.


<LI><STRONG> VIDA: An Ape Extension for the Steering of Numerical
Simulations </STRONG> (with G. Fabiani and L. Moltedo).
<EM> Proceedings of the ISMM International Workshop on Parallel
Computing </EM>, Trani, Italy September 1991, pp. 375-377

</MENU>

<H2> Technical Reports </H2> <p> 
<menu> 
<LI><STRONG> Two and Four
Array Mask Algorithms in practice. </STRONG> (with G. Casciola)
Technical Report, Department of Mathematics. (1989)

<LI> <STRONG><A
HREF="ftp://ftp.cs.utexas.edu/pub/lorenzo/paralex/runtime.ps">
Run-time Support for Dynamic Load Balancing and Debugging in
Paralex. </STRONG></A>(with O. Babaouglu, S. Amoroso, R. Davoli and
L. A. Giachini). Department of Computer Science, Technical Report TR 91-1251, 
Cornell University, Ithaca, New York, December 1991.(Available also as Technical Report UBLCS-92-3, 
<A
HREF="http://www.cs.unibo.it">Laboratory for Computer Science, University of Bologna</A>).
</MENU>

<H2> Dissertation </H2> <p>
<menu>
<STRONG><A
HREF="ftp://ftp.cs.utexas.edu/pub/lorenzo/Dissertation/thesis.ps">
Understanding the Message Logging Paradigm for
Masking Process Crashes. </STRONG></A>
 Department of Computer Science, Cornell University, Ithaca, New York,
January 1996. (Available as Technical Report TR-96-1577)
</menu>